Review of Tibebe Eshete, Evangelical Movement in Ethiopia: Resistance and Resilience (Waco Texas: Baylor University Press, 2009), xiii + 480 pp.

In this paper we define Martin-L¨of complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-L¨of type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-L¨of complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-L¨of complexes (...) are a model of homotopy 1-types. In order to establish these facts we give a proof-theoretic analysis, using a modified version of Tait’s logical predicates argument, of the propositional equality classes of terms of identity type in the 1-truncated theory. (shrink)

. This paper illustrates the applications of various ensemble methods for enhanced classification accuracy. The case in point is the Pima Indian Diabetic Dataset. The computational model comprises of two stages. In the first stage, k-means clustering is employed to identify and eliminate wrongly classified instances. In the second stage, a fine tuning in the classification was effected. To do this, ensemble methods such as AdaBoost, bagging, dagging, stacking, decorate, rotation forest, random subspace, MultiBoost and grading were invoked along with (...) five chosen base classifiers, namely support vector machine, radial basis function network, decision tree J48, naïve Bayes and Bayesian network. The k-fold cross validation technique is adopted. Computational experiments with the proposed method showed an improvement of 16.14% to 22.49% in the classification accuracy compared to literature survey. Among the ensemble methods tried, MultiBoost ensemble with SVM classifier and grading ensemble with naïve Bayes showed the best performance followed by MultiBoost, stacking and grading ensemble with Bayesian classifier, rotation forest ensemble with RBF and grading and rotation forest ensemble with J48. This investigation conclusively proves the significance of cascading k-means clustering with ensemble methods in the enhanced accuracy in categorization of diabetic dataset. (shrink)

. Prediction of crop yield is significant in order to accurately meet market requirements and proper administration of agricultural activities directed towards enhancement in yield. Several parameters such as weather, pests, biophysical and physio morphological features merit their consideration while determining the yield. However, these parameters are uncertain in their nature, thus making the determined amount of yield to be approximate. It is exactly here that the fuzzy logic comes into play. This paper elaborates an attempt to develop fuzzy inference (...) systems for crop yield prediction. Physio morphological features of Sorghum were considered. A huge database of physio morphological features such as days of 50 percent flowering, dead heart percentage, plant height, panicle length, panicle weight and number of primaries and the corresponding yield were considered for the development of the model. In order to find out the sensitivity of parameters, one-to-one, two-to-one and three-to-one combinations of input and output were considered. The results have clearly shown that panicle length contributes for the yield as the lone parameter with almost one-to-one matching between predicted yield and actual value while panicle length and panicle weight in combination seemed to play a decisive role in contributing for the yield with the prediction accuracy reflected by very low RMS value. (shrink)

Первое российское энциклопедическое издание, посвященное философии буддизма, является самым полным в отечественной литературе сводом знаний о буддийской философии. Его главная цель - описать философское кредо буддизма в контексте разнообразия школ.

ETUDES DE PHILOLOGIE 38 ETD'HISTOIRE JEANETTE MA BEER Narrative Conventions of Truth in the Middle Ages GENEVE ...

The definitive book on ethics for chemical dependency treatment professionals.

Steels & Belpaeme (S&B) are clearly interested in the possible test their models may provide for human language theories. However, they only superficially address the assumptions underlying their own agent architecture, while these are of crucial relevance to the topic of human language. These assumptions fit an Augustinian picture of language, which Wittgenstein challenges in his Philosophical Investigations. It is too early to draw conclusions regarding human language evolution from such models.

Interactions entail a tangled mix of emotional states that emerge between the people who are communicating. Being capable of comprehending these states help us to adapt to our partner’s needs enhancing the interaction. In the same fashion, we believe that robots capable of such skills would be better integrated in society. Hence, this paper tackles the internal state that focuses on the unfolding of any social exchange: Comfortability. It explores whether a humanoid robot can have an impact on humans Comfortability (...) and explores the way people might behave. To this aim, the iCub robot interviewed 29 non-HRI researchers for a real column of the IIT Opentalk online magazine. During the interview the robot complimented, ignored, interrupted, and insulted the participant with the intention of making them feel opposite Comfortability levels. The results concluded that a humanoid robot can affect people’s Comfortability highlighting that not everyone perceives, assimilates, and reacts to the same situations in the same way. The findings suggest that self-reports and Valence/Arousal estimations are not reliable measures to determine someone’s Comfortability and that external factors (e.g., attitude towards robots or the robot’s perception) might affect it. On top of that, a list of 28 visual features associated with low Comfortability levels is included, providing support to keep unraveling Comfortability in further studies. (shrink)

For 150 years after Galileo's condemnation in 1633, there were many references to the trial, but no sustained, heated or polarized discussions. Then came the thesis that Galileo was condemned not for being a good astronomer but for being a bad theologian (using Scripture to support astronomical hypotheses); it began in 1784-1785 with an apology of the Inquisition by Mallet du Pan in the Mercure de France and the printing in Tiraboschi's Storia della letteratura italiana of an apocryphal letter attributed (...) to Galileo but forged by Onorato Gaetani. This thesis is not only untenable and false but inverts and subverts the truth; it proved to be long-lasting and widely accepted; so it may be labeled a myth. It was held by such writers as . Afterwards, it was generally abandoned, its death knell being pope John Paul II's speeches in 1979-1992. The myth seems to have acted as a catalyst insofar as its creation encouraged the proliferation of pro-clerical accounts and the articulation of pro-Galilean ones, thus making the discussion of Galileo's trial the cause celebre it is today. (shrink)

An attempt by one of the leading political scientists to "extricate from the total political reality those aspects that can be considered the fundamental processes or activities without which no political life in society could continue." The conceptual framework for a "more complex structure of a theory" is developed around the concepts of demand, support, stress, and input-output. Easton explicitly rejects the discussion of political theory in terms of what he calls political philosophy, but the work is nevertheless of interest (...) to philosophers who have the stamina and interest to wade through a long and over-drawn discussion of the nature of political life.—K. A. M. (shrink)

Книга предназначена для специалистов в области философии и феноменологии религии, христианской теологии, а также для студентов и аспирантов соответствующих специальностей.